Bis(Nitroxymethylisoxazolyl) Furoxan: A Promising Standalone Melt‐Castable Explosive
نویسندگان
چکیده
منابع مشابه
NO donors: Focus on furoxan derivatives*
The article focuses attention on furoxan derivatives (1,2,5-oxadiazole 2-oxides) as NO donors. Possible mechanisms for NO release from these products in physiological solution and in segments of rabbit femoral artery are briefly considered. The in vitro antiaggregatory activities and the in vitro and in vivo vasodilating properties of a number of furoxans are examined with particular reference ...
متن کاملA Standalone WebGL Supporting Architecture
WebGL is typically used with web browsers. In this paper, we represent a standalone WebGL execution environment, where the original WebGL source codes show the same result to those of WebGL-capable web browsers. This standalone environment enables us to run WebGL programs without web browsers and/or internet connections. Our implementation shows the same rendering results with typical web brows...
متن کاملPreparation and antitumor activity of a tamibarotene-furoxan derivative.
Multi-target drug design, in which drugs are designed as single molecules to simultaneously modulate multiple physiological targets, is an important strategy in the field of drug discovery. QT-011, a tamibarotene-furoxan derivative, was here prepared and proposed to exert synergistic effects on antileukemia by releasing nitric oxide and tamibarotene. Compared with tamibarotene itself, QT-011 di...
متن کاملCoprocessor - a Standalone SAT Preprocessor
In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be removed. The preprocessor is part of the SAT solver riss [9] and is called Coprocessor. Not only riss, but also MiniSat 2.2 [11] benefit from it, because the SatELite preprocessor of M...
متن کاملStandalone Tactics Using OpenTheory
Proof tools in interactive theorem provers are usually developed within and tied to a specific system, which leads to a duplication of effort to make the functionality available in different systems. Many verification projects would benefit from access to proof tools developed in other systems. Using OpenTheory as a language for communicating between systems, we show how to turn a proof tool im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ChemPlusChem
سال: 2020
ISSN: 2192-6506,2192-6506
DOI: 10.1002/cplu.201900710